semicontinuous process

半连续程序